2

VeriML

Year:
2010
Language:
english
File:
PDF, 498 KB
english, 2010
5

Static and user-extensible proof checking

Year:
2012
Language:
english
File:
PDF, 581 KB
english, 2012